$\forall$$A$, $B$, $C$:$\mathbb{P}$. ($A$ $\vee$ ($B$ $\vee$ $C$)) $\Leftarrow\!\Rightarrow$ (($A$ $\vee$ $B$) $\vee$ $C$)